laparoscopic splenectomy for splenic injury in trauma